Real line is locally compact